Automatic Topic Identification for Idea Summarization in Idea Visualization Programs

Idea: Writing Secure C Programs with SecProve

This paper describes SecProve, a prototype tool we are developing for checking application-specific security properties of C code, together with our vision of how such a tool can be used by a programmer to maintain security of code during its development.

Topic 1 Idea: Co-regulation of Cyber and Physical States

Using Visualization to Support Idea Generation in Context

Idea Generation has been a topic of creativity research for centuries. A wealth of creative processes has been devised to overcome difficulties at the perceptual, emotional, and cultural levels. Brainstorming in particular has grown to become synonymous with idea generation. This paper discusses our preliminary study on current conception of brainstorming and calls for future studies that help ...

Weak Keys for IDEA

Large classes of weak keys have been found for the block cipher algorithm IDEA, previously known as IPES [2]. IDEA has a 128bit key and encrypts blocks of 64 bits. For a class of 2 keys IDEA exhibits a linear factor. For a certain class of 2 keys the cipher has a global characteristic with probability 1. For another class of 2 keys only two encryptions and solving a set of 16 nonlinear boolean ...

The Idea in Brief The Idea in Practice